* (validate-solution :verbose
(1.0 (PICKUP-CONNECTOR AGENT1 CONNECTOR1 AREA1))
(2.0 (MOVE AGENT1 AREA1 AREA2))
(3.0 (CONNECT-TO-3-TERMINUS AGENT1 CONNECTOR1 RECEIVER3 RECEIVER1 TRANSMITTER2 AREA2 GROUND))
(4.0 (PICKUP-CONNECTOR AGENT1 CONNECTOR2 AREA2))
(5.0 (MOVE AGENT1 AREA2 AREA3))
(6.0 (CONNECT-TO-3-TERMINUS AGENT1 CONNECTOR2 CONNECTOR1 RECEIVER1 TRANSMITTER1 AREA3 GROUND))
(7.0 (PICKUP-CONNECTOR AGENT1 CONNECTOR3 AREA3))
(8.0 (MOVE AGENT1 AREA3 AREA4))
(9.0 (CONNECT-TO-2-TERMINUS AGENT1 CONNECTOR3 RECEIVER3 TRANSMITTER1 AREA4 GROUND))
(10.0 (MOVE AGENT1 AREA4 AREA3))
(11.0 (PICKUP-CONNECTOR AGENT1 CONNECTOR2 AREA3))
(12.0 (CONNECT-TO-3-TERMINUS AGENT1 CONNECTOR2 CONNECTOR1 RECEIVER2 TRANSMITTER1 AREA3 GROUND))
(13.0 (MOVE AGENT1 AREA3 AREA4))
(14.0 (PICKUP-CONNECTOR AGENT1 CONNECTOR3 AREA4)))

Validating 14 actions...

Start state:
  Time: 0.0
  Value: 0.0
  Propositions:
    (CURRENT-BEAMS NIL)
    (LOC AGENT1 AREA1)
    (LOC CONNECTOR1 AREA1)
    (LOC CONNECTOR2 AREA2)
    (LOC CONNECTOR3 AREA3)


--- Action 1: (PICKUP-CONNECTOR AGENT1 CONNECTOR1 AREA1) ---
  Effect variables: (?AGENT ?CONNECTOR $AREA)
  Provided values : (AGENT1 CONNECTOR1 AREA1)
  Precondition satisfied for: (AGENT1 CONNECTOR1 AREA1)
Action 1 succeeded.
Resulting state:
  Time: 1.0
  Value: 0.0
  Propositions:
    (CURRENT-BEAMS NIL)
    (HOLDS AGENT1 CONNECTOR1)
    (LOC AGENT1 AREA1)
    (LOC CONNECTOR2 AREA2)
    (LOC CONNECTOR3 AREA3)


--- Action 2: (MOVE AGENT1 AREA1 AREA2) ---
  Effect variables: (?AGENT $AREA1 ?AREA2)
  Provided values : (AGENT1 AREA1 AREA2)
  Precondition satisfied for: (AGENT1 AREA1 AREA2)
Action 2 succeeded.
Resulting state:
  Time: 2.0
  Value: 0.0
  Propositions:
    (CURRENT-BEAMS NIL)
    (HOLDS AGENT1 CONNECTOR1)
    (LOC AGENT1 AREA2)
    (LOC CONNECTOR2 AREA2)
    (LOC CONNECTOR3 AREA3)


--- Action 3: (CONNECT-TO-3-TERMINUS AGENT1 CONNECTOR1 RECEIVER3 RECEIVER1 TRANSMITTER2 AREA2 GROUND) ---
  Effect variables: (?AGENT ?CONNECTOR ?T1 ?T2 ?T3 $AREA $PLACE)
  Provided values : (AGENT1 CONNECTOR1 RECEIVER3 RECEIVER1 TRANSMITTER2 AREA2 GROUND)
  Precondition satisfied for: (AGENT1 CONNECTOR1 RECEIVER3 RECEIVER1 TRANSMITTER2 AREA2 GROUND)
Action 3 succeeded.
Resulting state:
  Time: 3.0
  Value: 0.0
  Propositions:
    (ACTIVE RECEIVER3)
    (BEAM-SEGMENT BEAM1 TRANSMITTER2 CONNECTOR1 9 8)
    (BEAM-SEGMENT BEAM2 CONNECTOR1 TRANSMITTER2 10 1/10)
    (BEAM-SEGMENT BEAM3 CONNECTOR1 RECEIVER1 81/10 1)
    (BEAM-SEGMENT BEAM4 CONNECTOR1 RECEIVER3 1 109/10)
    (COLOR CONNECTOR1 BLUE)
    (CURRENT-BEAMS (BEAM4 BEAM3 BEAM2 BEAM1))
    (LOC AGENT1 AREA2)
    (LOC CONNECTOR2 AREA2)
    (LOC CONNECTOR3 AREA3)
    (LOC CONNECTOR1 AREA2)
    (PAIRED CONNECTOR1 RECEIVER3)
    (PAIRED CONNECTOR1 RECEIVER1)
    (PAIRED CONNECTOR1 TRANSMITTER2)


--- Action 4: (PICKUP-CONNECTOR AGENT1 CONNECTOR2 AREA2) ---
  Effect variables: (?AGENT ?CONNECTOR $AREA)
  Provided values : (AGENT1 CONNECTOR2 AREA2)
  Precondition satisfied for: (AGENT1 CONNECTOR2 AREA2)
Action 4 succeeded.
Resulting state:
  Time: 4.0
  Value: 0.0
  Propositions:
    (ACTIVE RECEIVER3)
    (BEAM-SEGMENT BEAM1 TRANSMITTER2 CONNECTOR1 9 8)
    (BEAM-SEGMENT BEAM2 CONNECTOR1 TRANSMITTER2 10 1/10)
    (BEAM-SEGMENT BEAM3 CONNECTOR1 RECEIVER1 81/10 1)
    (BEAM-SEGMENT BEAM4 CONNECTOR1 RECEIVER3 1 109/10)
    (COLOR CONNECTOR1 BLUE)
    (CURRENT-BEAMS (BEAM4 BEAM3 BEAM2 BEAM1))
    (HOLDS AGENT1 CONNECTOR2)
    (LOC AGENT1 AREA2)
    (LOC CONNECTOR3 AREA3)
    (LOC CONNECTOR1 AREA2)
    (PAIRED CONNECTOR1 RECEIVER3)
    (PAIRED CONNECTOR1 RECEIVER1)
    (PAIRED CONNECTOR1 TRANSMITTER2)


--- Action 5: (MOVE AGENT1 AREA2 AREA3) ---
  Effect variables: (?AGENT $AREA1 ?AREA2)
  Provided values : (AGENT1 AREA2 AREA3)
  Precondition satisfied for: (AGENT1 AREA2 AREA3)
Action 5 succeeded.
Resulting state:
  Time: 5.0
  Value: 0.0
  Propositions:
    (ACTIVE RECEIVER3)
    (BEAM-SEGMENT BEAM1 TRANSMITTER2 CONNECTOR1 9 8)
    (BEAM-SEGMENT BEAM2 CONNECTOR1 TRANSMITTER2 10 1/10)
    (BEAM-SEGMENT BEAM3 CONNECTOR1 RECEIVER1 81/10 1)
    (BEAM-SEGMENT BEAM4 CONNECTOR1 RECEIVER3 1 109/10)
    (COLOR CONNECTOR1 BLUE)
    (CURRENT-BEAMS (BEAM4 BEAM3 BEAM2 BEAM1))
    (HOLDS AGENT1 CONNECTOR2)
    (LOC AGENT1 AREA3)
    (LOC CONNECTOR3 AREA3)
    (LOC CONNECTOR1 AREA2)
    (PAIRED CONNECTOR1 RECEIVER3)
    (PAIRED CONNECTOR1 RECEIVER1)
    (PAIRED CONNECTOR1 TRANSMITTER2)


--- Action 6: (CONNECT-TO-3-TERMINUS AGENT1 CONNECTOR2 CONNECTOR1 RECEIVER1 TRANSMITTER1 AREA3 GROUND) ---
  Effect variables: (?AGENT ?CONNECTOR ?T1 ?T2 ?T3 $AREA $PLACE)
  Provided values : (AGENT1 CONNECTOR2 CONNECTOR1 RECEIVER1 TRANSMITTER1 AREA3 GROUND)
  Precondition satisfied for: (AGENT1 CONNECTOR2 CONNECTOR1 RECEIVER1 TRANSMITTER1 AREA3 GROUND)
Action 6 succeeded.
Resulting state:
  Time: 6.0
  Value: 0.0
  Propositions:
    (ACTIVE RECEIVER1)
    (BEAM-SEGMENT BEAM1 TRANSMITTER2 CONNECTOR1 21319/2301 13589/2301)
    (BEAM-SEGMENT BEAM10 CONNECTOR1 TRANSMITTER2 21319/2301 13589/2301)
    (BEAM-SEGMENT BEAM11 CONNECTOR1 RECEIVER1 81/10 1)
    (BEAM-SEGMENT BEAM12 CONNECTOR1 RECEIVER3 1 109/10)
    (BEAM-SEGMENT BEAM5 TRANSMITTER1 CONNECTOR2 10 9)
    (BEAM-SEGMENT BEAM13 CONNECTOR1 CONNECTOR2 10 9)
    (BEAM-SEGMENT BEAM7 CONNECTOR2 TRANSMITTER1 11 1/10)
    (BEAM-SEGMENT BEAM8 CONNECTOR2 RECEIVER1 21319/2301 13589/2301)
    (BEAM-SEGMENT BEAM9 CONNECTOR2 CONNECTOR1 9 8)
    (COLOR CONNECTOR1 RED)
    (COLOR CONNECTOR2 RED)
    (CURRENT-BEAMS (BEAM13 BEAM12 BEAM11 BEAM10 BEAM9 BEAM8 BEAM7 NIL BEAM5 NIL NIL NIL BEAM1))
    (LOC AGENT1 AREA3)
    (LOC CONNECTOR3 AREA3)
    (LOC CONNECTOR1 AREA2)
    (LOC CONNECTOR2 AREA3)
    (OPEN GATE1)
    (PAIRED CONNECTOR1 RECEIVER3)
    (PAIRED CONNECTOR1 RECEIVER1)
    (PAIRED CONNECTOR1 TRANSMITTER2)
    (PAIRED CONNECTOR2 CONNECTOR1)
    (PAIRED CONNECTOR2 RECEIVER1)
    (PAIRED CONNECTOR2 TRANSMITTER1)


--- Action 7: (PICKUP-CONNECTOR AGENT1 CONNECTOR3 AREA3) ---
  Effect variables: (?AGENT ?CONNECTOR $AREA)
  Provided values : (AGENT1 CONNECTOR3 AREA3)
  Precondition satisfied for: (AGENT1 CONNECTOR3 AREA3)
Action 7 succeeded.
Resulting state:
  Time: 7.0
  Value: 0.0
  Propositions:
    (ACTIVE RECEIVER1)
    (BEAM-SEGMENT BEAM1 TRANSMITTER2 CONNECTOR1 21319/2301 13589/2301)
    (BEAM-SEGMENT BEAM10 CONNECTOR1 TRANSMITTER2 21319/2301 13589/2301)
    (BEAM-SEGMENT BEAM11 CONNECTOR1 RECEIVER1 81/10 1)
    (BEAM-SEGMENT BEAM12 CONNECTOR1 RECEIVER3 1 109/10)
    (BEAM-SEGMENT BEAM5 TRANSMITTER1 CONNECTOR2 10 9)
    (BEAM-SEGMENT BEAM13 CONNECTOR1 CONNECTOR2 10 9)
    (BEAM-SEGMENT BEAM7 CONNECTOR2 TRANSMITTER1 11 1/10)
    (BEAM-SEGMENT BEAM8 CONNECTOR2 RECEIVER1 21319/2301 13589/2301)
    (BEAM-SEGMENT BEAM9 CONNECTOR2 CONNECTOR1 9 8)
    (COLOR CONNECTOR1 RED)
    (COLOR CONNECTOR2 RED)
    (CURRENT-BEAMS (BEAM13 BEAM12 BEAM11 BEAM10 BEAM9 BEAM8 BEAM7 NIL BEAM5 NIL NIL NIL BEAM1))
    (HOLDS AGENT1 CONNECTOR3)
    (LOC AGENT1 AREA3)
    (LOC CONNECTOR1 AREA2)
    (LOC CONNECTOR2 AREA3)
    (OPEN GATE1)
    (PAIRED CONNECTOR1 RECEIVER3)
    (PAIRED CONNECTOR1 RECEIVER1)
    (PAIRED CONNECTOR1 TRANSMITTER2)
    (PAIRED CONNECTOR2 CONNECTOR1)
    (PAIRED CONNECTOR2 RECEIVER1)
    (PAIRED CONNECTOR2 TRANSMITTER1)


--- Action 8: (MOVE AGENT1 AREA3 AREA4) ---
  Effect variables: (?AGENT $AREA1 ?AREA2)
  Provided values : (AGENT1 AREA3 AREA4)
  Precondition satisfied for: (AGENT1 AREA3 AREA4)
Action 8 succeeded.
Resulting state:
  Time: 8.0
  Value: 0.0
  Propositions:
    (ACTIVE RECEIVER1)
    (BEAM-SEGMENT BEAM1 TRANSMITTER2 CONNECTOR1 21319/2301 13589/2301)
    (BEAM-SEGMENT BEAM10 CONNECTOR1 TRANSMITTER2 21319/2301 13589/2301)
    (BEAM-SEGMENT BEAM11 CONNECTOR1 RECEIVER1 81/10 1)
    (BEAM-SEGMENT BEAM12 CONNECTOR1 RECEIVER3 1 109/10)
    (BEAM-SEGMENT BEAM5 TRANSMITTER1 CONNECTOR2 10 9)
    (BEAM-SEGMENT BEAM13 CONNECTOR1 CONNECTOR2 10 9)
    (BEAM-SEGMENT BEAM7 CONNECTOR2 TRANSMITTER1 11 1/10)
    (BEAM-SEGMENT BEAM8 CONNECTOR2 RECEIVER1 21319/2301 13589/2301)
    (BEAM-SEGMENT BEAM9 CONNECTOR2 CONNECTOR1 9 8)
    (COLOR CONNECTOR1 RED)
    (COLOR CONNECTOR2 RED)
    (CURRENT-BEAMS (BEAM13 BEAM12 BEAM11 BEAM10 BEAM9 BEAM8 BEAM7 NIL BEAM5 NIL NIL NIL BEAM1))
    (HOLDS AGENT1 CONNECTOR3)
    (LOC AGENT1 AREA4)
    (LOC CONNECTOR1 AREA2)
    (LOC CONNECTOR2 AREA3)
    (OPEN GATE1)
    (PAIRED CONNECTOR1 RECEIVER3)
    (PAIRED CONNECTOR1 RECEIVER1)
    (PAIRED CONNECTOR1 TRANSMITTER2)
    (PAIRED CONNECTOR2 CONNECTOR1)
    (PAIRED CONNECTOR2 RECEIVER1)
    (PAIRED CONNECTOR2 TRANSMITTER1)


--- Action 9: (CONNECT-TO-2-TERMINUS AGENT1 CONNECTOR3 RECEIVER3 TRANSMITTER1 AREA4 GROUND) ---
  Effect variables: (?AGENT ?CONNECTOR ?T1 ?T2 $AREA $PLACE)
  Provided values : (AGENT1 CONNECTOR3 RECEIVER3 TRANSMITTER1 AREA4 GROUND)
  Precondition satisfied for: (AGENT1 CONNECTOR3 RECEIVER3 TRANSMITTER1 AREA4 GROUND)
Action 9 succeeded.
Resulting state:
  Time: 9.0
  Value: 0.0
  Propositions:
    (ACTIVE RECEIVER1)
    (BEAM-SEGMENT BEAM1 TRANSMITTER2 CONNECTOR1 29/3 41/15)
    (BEAM-SEGMENT BEAM10 CONNECTOR1 TRANSMITTER2 21319/2301 13589/2301)
    (BEAM-SEGMENT BEAM11 CONNECTOR1 RECEIVER1 81/10 1)
    (BEAM-SEGMENT BEAM12 CONNECTOR1 RECEIVER3 1 109/10)
    (BEAM-SEGMENT BEAM5 TRANSMITTER1 CONNECTOR2 10 9)
    (BEAM-SEGMENT BEAM13 CONNECTOR1 CONNECTOR2 10 9)
    (BEAM-SEGMENT BEAM7 CONNECTOR2 TRANSMITTER1 11 1/10)
    (BEAM-SEGMENT BEAM8 CONNECTOR2 RECEIVER1 21319/2301 13589/2301)
    (BEAM-SEGMENT BEAM9 CONNECTOR2 CONNECTOR1 9 8)
    (BEAM-SEGMENT BEAM14 TRANSMITTER1 CONNECTOR3 29/3 41/15)
    (COLOR CONNECTOR1 RED)
    (COLOR CONNECTOR2 RED)
    (CURRENT-BEAMS (BEAM14 BEAM13 BEAM12 BEAM11 BEAM10 BEAM9 BEAM8 BEAM7 NIL BEAM5 NIL NIL NIL BEAM1))
    (LOC AGENT1 AREA4)
    (LOC CONNECTOR1 AREA2)
    (LOC CONNECTOR2 AREA3)
    (LOC CONNECTOR3 AREA4)
    (OPEN GATE1)
    (PAIRED CONNECTOR1 RECEIVER3)
    (PAIRED CONNECTOR1 RECEIVER1)
    (PAIRED CONNECTOR1 TRANSMITTER2)
    (PAIRED CONNECTOR2 CONNECTOR1)
    (PAIRED CONNECTOR2 RECEIVER1)
    (PAIRED CONNECTOR2 TRANSMITTER1)
    (PAIRED CONNECTOR3 RECEIVER3)
    (PAIRED CONNECTOR3 TRANSMITTER1)


--- Action 10: (MOVE AGENT1 AREA4 AREA3) ---
  Effect variables: (?AGENT $AREA1 ?AREA2)
  Provided values : (AGENT1 AREA4 AREA3)
  Precondition satisfied for: (AGENT1 AREA4 AREA3)
Action 10 succeeded.
Resulting state:
  Time: 10.0
  Value: 0.0
  Propositions:
    (ACTIVE RECEIVER1)
    (BEAM-SEGMENT BEAM1 TRANSMITTER2 CONNECTOR1 29/3 41/15)
    (BEAM-SEGMENT BEAM10 CONNECTOR1 TRANSMITTER2 21319/2301 13589/2301)
    (BEAM-SEGMENT BEAM11 CONNECTOR1 RECEIVER1 81/10 1)
    (BEAM-SEGMENT BEAM12 CONNECTOR1 RECEIVER3 1 109/10)
    (BEAM-SEGMENT BEAM5 TRANSMITTER1 CONNECTOR2 10 9)
    (BEAM-SEGMENT BEAM13 CONNECTOR1 CONNECTOR2 10 9)
    (BEAM-SEGMENT BEAM7 CONNECTOR2 TRANSMITTER1 11 1/10)
    (BEAM-SEGMENT BEAM8 CONNECTOR2 RECEIVER1 21319/2301 13589/2301)
    (BEAM-SEGMENT BEAM9 CONNECTOR2 CONNECTOR1 9 8)
    (BEAM-SEGMENT BEAM14 TRANSMITTER1 CONNECTOR3 29/3 41/15)
    (COLOR CONNECTOR1 RED)
    (COLOR CONNECTOR2 RED)
    (CURRENT-BEAMS (BEAM14 BEAM13 BEAM12 BEAM11 BEAM10 BEAM9 BEAM8 BEAM7 NIL BEAM5 NIL NIL NIL BEAM1))
    (LOC AGENT1 AREA3)
    (LOC CONNECTOR1 AREA2)
    (LOC CONNECTOR2 AREA3)
    (LOC CONNECTOR3 AREA4)
    (OPEN GATE1)
    (PAIRED CONNECTOR1 RECEIVER3)
    (PAIRED CONNECTOR1 RECEIVER1)
    (PAIRED CONNECTOR1 TRANSMITTER2)
    (PAIRED CONNECTOR2 CONNECTOR1)
    (PAIRED CONNECTOR2 RECEIVER1)
    (PAIRED CONNECTOR2 TRANSMITTER1)
    (PAIRED CONNECTOR3 RECEIVER3)
    (PAIRED CONNECTOR3 TRANSMITTER1)


--- Action 11: (PICKUP-CONNECTOR AGENT1 CONNECTOR2 AREA3) ---
  Effect variables: (?AGENT ?CONNECTOR $AREA)
  Provided values : (AGENT1 CONNECTOR2 AREA3)
  Precondition satisfied for: (AGENT1 CONNECTOR2 AREA3)
Action 11 succeeded.
Resulting state:
  Time: 11.0
  Value: 0.0
  Propositions:
    (BEAM-SEGMENT BEAM1 TRANSMITTER2 CONNECTOR1 29/3 41/15)
    (BEAM-SEGMENT BEAM14 TRANSMITTER1 CONNECTOR3 29/3 41/15)
    (CURRENT-BEAMS (BEAM14 NIL NIL NIL NIL NIL NIL NIL NIL NIL NIL NIL NIL BEAM1))
    (HOLDS AGENT1 CONNECTOR2)
    (LOC AGENT1 AREA3)
    (LOC CONNECTOR1 AREA2)
    (LOC CONNECTOR3 AREA4)
    (PAIRED CONNECTOR1 RECEIVER3)
    (PAIRED CONNECTOR1 RECEIVER1)
    (PAIRED CONNECTOR1 TRANSMITTER2)
    (PAIRED CONNECTOR3 RECEIVER3)
    (PAIRED CONNECTOR3 TRANSMITTER1)


--- Action 12: (CONNECT-TO-3-TERMINUS AGENT1 CONNECTOR2 CONNECTOR1 RECEIVER2 TRANSMITTER1 AREA3 GROUND) ---
  Effect variables: (?AGENT ?CONNECTOR ?T1 ?T2 ?T3 $AREA $PLACE)
  Provided values : (AGENT1 CONNECTOR2 CONNECTOR1 RECEIVER2 TRANSMITTER1 AREA3 GROUND)
  Precondition satisfied for: (AGENT1 CONNECTOR2 CONNECTOR1 RECEIVER2 TRANSMITTER1 AREA3 GROUND)
Action 12 succeeded.
Resulting state:
  Time: 12.0
  Value: 0.0
  Propositions:
    (ACTIVE RECEIVER2)
    (ACTIVE RECEIVER1)
    (BEAM-SEGMENT BEAM1 TRANSMITTER2 CONNECTOR1 29/3 41/15)
    (BEAM-SEGMENT BEAM14 TRANSMITTER1 CONNECTOR3 29/3 41/15)
    (BEAM-SEGMENT BEAM15 TRANSMITTER1 CONNECTOR2 10 9)
    (BEAM-SEGMENT BEAM16 CONNECTOR2 TRANSMITTER1 11 1/10)
    (BEAM-SEGMENT BEAM17 CONNECTOR2 RECEIVER2 7 109/10)
    (BEAM-SEGMENT BEAM18 CONNECTOR2 CONNECTOR1 9 8)
    (BEAM-SEGMENT BEAM19 CONNECTOR1 TRANSMITTER2 29/3 41/15)
    (BEAM-SEGMENT BEAM20 CONNECTOR1 RECEIVER1 81/10 1)
    (BEAM-SEGMENT BEAM21 CONNECTOR1 RECEIVER3 1 109/10)
    (BEAM-SEGMENT BEAM22 CONNECTOR1 CONNECTOR2 10 9)
    (COLOR CONNECTOR2 RED)
    (COLOR CONNECTOR1 RED)
    (CURRENT-BEAMS (BEAM22 BEAM21 BEAM20 BEAM19 BEAM18 BEAM17 BEAM16 BEAM15 BEAM14 NIL NIL NIL NIL NIL NIL NIL NIL NIL NIL NIL NIL BEAM1))
    (LOC AGENT1 AREA3)
    (LOC CONNECTOR1 AREA2)
    (LOC CONNECTOR3 AREA4)
    (LOC CONNECTOR2 AREA3)
    (OPEN GATE1)
    (PAIRED CONNECTOR1 RECEIVER3)
    (PAIRED CONNECTOR1 RECEIVER1)
    (PAIRED CONNECTOR1 TRANSMITTER2)
    (PAIRED CONNECTOR3 RECEIVER3)
    (PAIRED CONNECTOR3 TRANSMITTER1)
    (PAIRED CONNECTOR2 CONNECTOR1)
    (PAIRED CONNECTOR2 RECEIVER2)
    (PAIRED CONNECTOR2 TRANSMITTER1)


--- Action 13: (MOVE AGENT1 AREA3 AREA4) ---
  Effect variables: (?AGENT $AREA1 ?AREA2)
  Provided values : (AGENT1 AREA3 AREA4)
  Precondition satisfied for: (AGENT1 AREA3 AREA4)
Action 13 succeeded.
Resulting state:
  Time: 13.0
  Value: 0.0
  Propositions:
    (ACTIVE RECEIVER2)
    (ACTIVE RECEIVER1)
    (BEAM-SEGMENT BEAM1 TRANSMITTER2 CONNECTOR1 29/3 41/15)
    (BEAM-SEGMENT BEAM14 TRANSMITTER1 CONNECTOR3 29/3 41/15)
    (BEAM-SEGMENT BEAM15 TRANSMITTER1 CONNECTOR2 10 9)
    (BEAM-SEGMENT BEAM16 CONNECTOR2 TRANSMITTER1 11 1/10)
    (BEAM-SEGMENT BEAM17 CONNECTOR2 RECEIVER2 7 109/10)
    (BEAM-SEGMENT BEAM18 CONNECTOR2 CONNECTOR1 9 8)
    (BEAM-SEGMENT BEAM19 CONNECTOR1 TRANSMITTER2 29/3 41/15)
    (BEAM-SEGMENT BEAM20 CONNECTOR1 RECEIVER1 81/10 1)
    (BEAM-SEGMENT BEAM21 CONNECTOR1 RECEIVER3 1 109/10)
    (BEAM-SEGMENT BEAM22 CONNECTOR1 CONNECTOR2 10 9)
    (COLOR CONNECTOR2 RED)
    (COLOR CONNECTOR1 RED)
    (CURRENT-BEAMS (BEAM22 BEAM21 BEAM20 BEAM19 BEAM18 BEAM17 BEAM16 BEAM15 BEAM14 NIL NIL NIL NIL NIL NIL NIL NIL NIL NIL NIL NIL BEAM1))
    (LOC AGENT1 AREA4)
    (LOC CONNECTOR1 AREA2)
    (LOC CONNECTOR3 AREA4)
    (LOC CONNECTOR2 AREA3)
    (OPEN GATE1)
    (PAIRED CONNECTOR1 RECEIVER3)
    (PAIRED CONNECTOR1 RECEIVER1)
    (PAIRED CONNECTOR1 TRANSMITTER2)
    (PAIRED CONNECTOR3 RECEIVER3)
    (PAIRED CONNECTOR3 TRANSMITTER1)
    (PAIRED CONNECTOR2 CONNECTOR1)
    (PAIRED CONNECTOR2 RECEIVER2)
    (PAIRED CONNECTOR2 TRANSMITTER1)


--- Action 14: (PICKUP-CONNECTOR AGENT1 CONNECTOR3 AREA4) ---
  Effect variables: (?AGENT ?CONNECTOR $AREA)
  Provided values : (AGENT1 CONNECTOR3 AREA4)
  Precondition satisfied for: (AGENT1 CONNECTOR3 AREA4)
Action 14 succeeded.
Resulting state:
  Time: 14.0
  Value: 0.0
  Propositions:
    (ACTIVE RECEIVER2)
    (ACTIVE RECEIVER3)
    (BEAM-SEGMENT BEAM1 TRANSMITTER2 CONNECTOR1 9 8)
    (BEAM-SEGMENT BEAM15 TRANSMITTER1 CONNECTOR2 10 9)
    (BEAM-SEGMENT BEAM16 CONNECTOR2 TRANSMITTER1 11 1/10)
    (BEAM-SEGMENT BEAM17 CONNECTOR2 RECEIVER2 7 109/10)
    (BEAM-SEGMENT BEAM18 CONNECTOR2 CONNECTOR1 19/2 17/2)
    (BEAM-SEGMENT BEAM19 CONNECTOR1 TRANSMITTER2 10 1/10)
    (BEAM-SEGMENT BEAM20 CONNECTOR1 RECEIVER1 81/10 1)
    (BEAM-SEGMENT BEAM21 CONNECTOR1 RECEIVER3 1 109/10)
    (BEAM-SEGMENT BEAM22 CONNECTOR1 CONNECTOR2 19/2 17/2)
    (COLOR CONNECTOR2 RED)
    (COLOR CONNECTOR1 BLUE)
    (CURRENT-BEAMS (BEAM22 BEAM21 BEAM20 BEAM19 BEAM18 BEAM17 BEAM16 BEAM15 NIL NIL NIL NIL NIL NIL NIL NIL NIL NIL NIL NIL NIL BEAM1))
    (HOLDS AGENT1 CONNECTOR3)
    (LOC AGENT1 AREA4)
    (LOC CONNECTOR1 AREA2)
    (LOC CONNECTOR2 AREA3)
    (PAIRED CONNECTOR1 RECEIVER3)
    (PAIRED CONNECTOR1 RECEIVER1)
    (PAIRED CONNECTOR1 TRANSMITTER2)
    (PAIRED CONNECTOR2 CONNECTOR1)
    (PAIRED CONNECTOR2 RECEIVER2)
    (PAIRED CONNECTOR2 TRANSMITTER1)


VALIDATION SUCCESSFUL

All 14 actions executed successfully.
Goal satisfied.

Final state:
  Time: 14.0
  Value: 0.0
  Propositions:
    (ACTIVE RECEIVER2)
    (ACTIVE RECEIVER3)
    (BEAM-SEGMENT BEAM1 TRANSMITTER2 CONNECTOR1 9 8)
    (BEAM-SEGMENT BEAM15 TRANSMITTER1 CONNECTOR2 10 9)
    (BEAM-SEGMENT BEAM16 CONNECTOR2 TRANSMITTER1 11 1/10)
    (BEAM-SEGMENT BEAM17 CONNECTOR2 RECEIVER2 7 109/10)
    (BEAM-SEGMENT BEAM18 CONNECTOR2 CONNECTOR1 19/2 17/2)
    (BEAM-SEGMENT BEAM19 CONNECTOR1 TRANSMITTER2 10 1/10)
    (BEAM-SEGMENT BEAM20 CONNECTOR1 RECEIVER1 81/10 1)
    (BEAM-SEGMENT BEAM21 CONNECTOR1 RECEIVER3 1 109/10)
    (BEAM-SEGMENT BEAM22 CONNECTOR1 CONNECTOR2 19/2 17/2)
    (COLOR CONNECTOR2 RED)
    (COLOR CONNECTOR1 BLUE)
    (CURRENT-BEAMS (BEAM22 BEAM21 BEAM20 BEAM19 BEAM18 BEAM17 BEAM16 BEAM15 NIL NIL NIL NIL NIL NIL NIL NIL NIL NIL NIL NIL NIL BEAM1))
    (HOLDS AGENT1 CONNECTOR3)
    (LOC AGENT1 AREA4)
    (LOC CONNECTOR1 AREA2)
    (LOC CONNECTOR2 AREA3)
    (PAIRED CONNECTOR1 RECEIVER3)
    (PAIRED CONNECTOR1 RECEIVER1)
    (PAIRED CONNECTOR1 TRANSMITTER2)
    (PAIRED CONNECTOR2 CONNECTOR1)
    (PAIRED CONNECTOR2 RECEIVER2)
    (PAIRED CONNECTOR2 TRANSMITTER1)

#<PROBLEM-STATE <PICKUP-CONNECTOR (AGENT1 CONNECTOR3 AREA4) NIL 14.0 0.0 0.0
  ((ACTIVE RECEIVER2) (ACTIVE RECEIVER3) (BEAM-SEGMENT BEAM1 TRANSMITTER2 CONNECTOR1 9 8)
   (BEAM-SEGMENT BEAM15 TRANSMITTER1 CONNECTOR2 10 9) (BEAM-SEGMENT BEAM16 CONNECTOR2 TRANSMITTER1 11 1/10)
   (BEAM-SEGMENT BEAM17 CONNECTOR2 RECEIVER2 7 109/10) (BEAM-SEGMENT BEAM18 CONNECTOR2 CONNECTOR1 19/2 17/2)
   (BEAM-SEGMENT BEAM19 CONNECTOR1 TRANSMITTER2 10 1/10) (BEAM-SEGMENT BEAM20 CONNECTOR1 RECEIVER1 81/10 1)
   (BEAM-SEGMENT BEAM21 CONNECTOR1 RECEIVER3 1 109/10) (BEAM-SEGMENT BEAM22 CONNECTOR1 CONNECTOR2 19/2 17/2) (COLOR CONNECTOR2 RED)
   (COLOR CONNECTOR1 BLUE)
   (CURRENT-BEAMS (BEAM22 BEAM21 BEAM20 BEAM19 BEAM18 BEAM17 BEAM16 BEAM15 NIL NIL NIL NIL NIL NIL NIL NIL NIL NIL NIL NIL NIL BEAM1))
   (HOLDS AGENT1 CONNECTOR3) (LOC AGENT1 AREA4) (LOC CONNECTOR1 AREA2) (LOC CONNECTOR2 AREA3) (PAIRED CONNECTOR1 RECEIVER3)
   (PAIRED CONNECTOR1 RECEIVER1) (PAIRED CONNECTOR1 TRANSMITTER2) (PAIRED CONNECTOR2 CONNECTOR1) (PAIRED CONNECTOR2 RECEIVER2)
   (PAIRED CONNECTOR2 TRANSMITTER1))
  NIL>>